The singular extremal solutions of the bilaplacian with exponential nonlinearity

Consider the problem  ∆u = λe in B u = ∂u ∂n = 0 on ∂B, where B is the unit ball in R and λ is a parameter. Unlike the Gelfand problem the natural candidate u = −4 ln(|x|), for the extremal solution, does not satisfy the boundary conditions and hence showing the singular nature of the extremal solution in large dimensions close to the critical dimension is challenging. Dávila et al. in [5] used a computer assisted proof to show that the extremal solution is singular in dimensions 13 ≤ N ≤ 31. Here by an improved Hardy-Rellich inequality which follows from the recent result of Ghoussoub-Moradifam [6] we overcome this difficulty and give a simple mathematical proof to show the extremal solution is singular in dimensions N ≥ 13.